Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
New Articles: Journal of Contemporary Archival Studies
archivespublishing.comยท1d
โš–๏ธArchive Ethics
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท2h
๐Ÿ“Mathematical Art
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸŒณIncremental Parsing
The Library Method: Understanding @cache
dev.toยท18hยท
Discuss: DEV
โšกCache Theory
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.comยท1d
โš™๏ธProof Engineering
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐ŸงฎTheorem Proving
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Online activities 6 โ€“ 12 October
ests.wordpress.comยท3d
๐Ÿ—๏ธConstructive Mathematics
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution